-
1 Formal Description Technique
Information technology: FDTУниверсальный русско-английский словарь > Formal Description Technique
-
2 Cyberspace Description Formal
Network technologies: CDFУниверсальный русско-английский словарь > Cyberspace Description Formal
-
3 формальное описание
Русско-английский словарь по вычислительной технике и программированию > формальное описание
-
4 метод формальных описаний
метод формальных описаний
—
[ http://www.iks-media.ru/glossary/index.html?glossid=2400324]Тематики
- электросвязь, основные понятия
EN
Русско-английский словарь нормативно-технической терминологии > метод формальных описаний
-
5 формализаванное описание
Русско-английский большой базовый словарь > формализаванное описание
-
6 формальное описание
formal description, formal specificationРусско-английский политехнический словарь > формальное описание
-
7 формализованное описание
описание патента; содержание патента — patent specification
Русско-английский большой базовый словарь > формализованное описание
-
8 формальное описание
1. formal descriptionне поддающийся описанию, неописуемый — beyond description
2. formal specificationописание патента; содержание патента — patent specification
Русско-английский большой базовый словарь > формальное описание
-
9 формальное описание
1) Information technology: formal description, formal specification2) Programming: formal definitionУниверсальный русско-английский словарь > формальное описание
-
10 квазиформальное описание
1) Computers: quasi-formal description2) Information technology: quasiformal descriptionУниверсальный русско-английский словарь > квазиформальное описание
-
11 формализм
1) General subject: academicism, beadledom, formalism, formality, officialism, precisianism, priggery, red tape2) Mathematics: description, formal description3) Religion: legalism4) Psychology: academism -
12 формализованное описание
1) Engineering: formal description2) Programming: formalized description, formalizationУниверсальный русско-английский словарь > формализованное описание
-
13 В настоящее время существует небольшое число работ, в которых рассматриваются
General subject: Currently, there is a small number of works in which the problem of the formal description and modelling of IEC 61499 function blocks are consideredУниверсальный русско-английский словарь > В настоящее время существует небольшое число работ, в которых рассматриваются
-
14 язык формального описания топологии
Microelectronics: formal layout description languageУниверсальный русско-английский словарь > язык формального описания топологии
-
15 давать
(= дать, обеспечивать, см. также даваться) give, produce, yield, furnish, contribute, offer, afford, give rise to, result in, provide, lead to• В данный момент невозможно дать... - It is not possible at this time to give...• В следующей главе мы дадим количественное представление... - In the next chapter we give a more quantitative account of...• В этом параграфе мы даем краткое введение в... - In this section we give a brief introduction to...• Все вероятности, сложенные вместе, в сумме должны дать единицу. - All the probabilities taken together must add up to 1.• Вышеупомянутые теоремы дают нам... - The foregoing theorems give us...• Давайте рассмотрим детально... - Let us look in detail at...• Дадим этому формальное доказательство. - The formal proof is as follows.• Данная классификация почти ничего не дает нам относительно... - This classification tells us very little about...• Значение наших методов состоит в том, что они дадут... - The significance of our methods is that they will yield...• Метод дал улучшение результатов (= улучшенные результаты). - The method gave improved results.• Мы дадим несколько эквивалентных формулировок (чего-л). - We will give some equivalent formulations of...• Мы можем дать альтернативное определение... - It is possible to give an alternative definition of...• Мы можем дать простое доказательство этой теоремы следующим образом. - We can give a simple proof of this theorem as follows.• Особое рассмотрение должно быть дано (= Необходимо особо рассмотреть)... - Special consideration must be given to...• Перед тем как продолжить (обсуждение), мы прервемся, чтобы дать... - Before going further we pause to give...• Повторное применение соотношения (1) дает соотношение (2). - Repeated application of (1) gives (2).• Подстановка этих значений дает нам... - Substituting these values gives us...• Пусть дан... - Given...; Let there be given...• Пусть дано значение xq. - Suppose xq is given,• Следующая теорема дает (= описывает) условия, при которых... - The following theorem gives conditions under which...• Тем не менее, развитые нами методы дают основание для... - However, the methods we have developed provide a basis for...• Теперь мы дадим краткое заключение (о)... - We now give a brief account of...• Чтобы ответить на этот вопрос, давайте... - То answer this question, let us...• Чтобы показать, что это невозможно, давайте... - То show that this is not possible, let...• Чтобы установить соотношение (1), давайте... - То establish (1), let us...• Эта книга дает современное описание... - This book provides an up-to-date description of...• Это дает основание ожидать, что... - This causes us to anticipate that...• Это дает основание полагать, что... - This suggests that...• Это даст нам необходимую характеристику (чего-л). - This will give us the required characterization of...• Это уже дает некоторую информацию относительно... - This already gives some information about...• Этот метод дает хорошие результаты только если... - The method works well only if...• Этот результат дает более точное необходимое условие для... - This provides a sharper necessary condition for...• Этот случай дает прекрасный пример (чего-л). - This case provides an excellent example of... -
16 получаться
(см. также получать) result, come out, be obtained, succeed• Альтернативная форма данного соотношения получается... - An alternative form of this relation is obtained by...• Более аккуратное описание получается (путем)... - A more accurate description is obtained by...• Более простой подход получается, если заметить, что... - A simpler approach is to observe that...• Более хорошая аппроксимация (= Лучшее приближение) получается (с помощью и т. п.)... - A better approximation is obtained by...• Более хорошее приближение получается (методом, путем и т. п.)... - A better approximation is obtained by...• Дальнейшие экспериментальные данные получаются из... - Further experimental evidence is derived from...• Другое приближение получается, когда мы рассматриваем... - Another approximation is obtained by regarding...• Другой случай, представляющий для нас интерес, получается, когда... - Another case of interest is obtained if...• Из уравнений (1.2) и (1.3) получается, что... - From (1.2) and (1.3) one gets that...• К счастью, получается, что... - It turns out, fortunately, that...• Критический случай получается, когда... - The critical case is that in which...• Наилучший результат получается, когда/ если... - The best result is obtained when...• Например, получается, что... - It turns out, for instance, that...• Более простой результат получается, если мы... - A somewhat simpler result is obtained if we...• Однако из-за этого неизбежно получается, что... - However, this inevitably involves...• Однако получается, что значительно более удобно (вычислять и т. п.)... - As it turns out, however, it is considerably more convenient to...• Получается (= Создается) впечатление, что... - It is as if• Получается, что... - It turns out that...• Приближенное решение получается... - The approximate solution is obtained by...• Следовательно, у нас получилось формальное решение для... - We therefore have a formal solution for...• Теперь получается, что... - Now it turns out that...• Эти соотношения получаются наиболее просто (методом и т. п.)... - These relations are obtained most simply by...
См. также в других словарях:
Description logic — (DL) is a family of formal knowledge representation languages. It is more expressive than propositional logic but has more efficient decision problems than first order predicate logic. DL is used in artificial intelligence for formal reasoning on … Wikipedia
Formal methods — In computer science and software engineering, formal methods are particular kind of mathematically based techniques for the specification, development and verification of software and hardware systems.cite web|author=R. W. Butler|title=What is… … Wikipedia
Description (disambiguation) — A description of something (such as an object, a person, or an event) is a written or spoken account presenting characteristics and aspects of that which is being described in sufficient detail that the audience can form a mental picture,… … Wikipedia
description — a more or less complete statement of the observed characters of a taxon, without any special emphasis on those which distinguish it from other closely related taxa. The original description is the first, formal description of a new taxon … Dictionary of ichthyology
Formal equivalence checking — process is a part of electronic design automation (EDA), commonly used during the development of digital integrated circuits, to formally prove that two representations of a circuit design exhibit exactly the same behavior. Equivalence checking… … Wikipedia
Formal concept analysis — is a principled way of automatically deriving an ontology from a collection of objects and their properties. The term was introduced by Rudolf Wille in 1984, and builds on applied lattice and order theory that was developed by Birkhoff and others … Wikipedia
Formal ethics — is a formal logical system for describing and evaluating the form as opposed to the content of ethical principles. Formal ethics was introduced by Harry J. Gensler, in part in his 1990 logic textbook Symbolic Logic: Classical and Advanced Systems … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Description — For other uses, see Description (disambiguation). Description is one of four rhetorical modes (also known as modes of discourse), along with exposition, argumentation, and narration. Each of the rhetorical modes is present in a variety of forms… … Wikipedia
Formal proof — See also: mathematical proof, proof theory, and axiomatic system A formal proof or derivation is a finite sequence of sentences (called well formed formulas in the case of a formal language) each of which is an axiom or follows from the… … Wikipedia
Formal system — In formal logic, a formal system (also called a logical system,Audi, Robert (Editor). The Cambridge Dictionary of Philosophy . Second edition, Cambridge University Press, 1999. ISBN 978 0521631365 (hardcover) and ISBN 978 0521637220 (paperback).] … Wikipedia